Computationally complete symbolic attacker and key exchange

机译：计算完全符号攻击者和密钥交换

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gergei Bana; Hubert Comon-lundh;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability [J] . Bana Gergei, Chadha Rohit, Eeralla Ajay Kumar, ACM transactions on computational logic . 2020,第1期

机译：基于不可区分性的计算完整符号攻击者的验证方法
2. Computationally Complete Symbolic Attacker in Action [J] . Gergei Bana, Pedro Adao, Hideki Sakurada LIPIcs : Leibniz International Proceedings in Informatics . 2012,第1期

机译：计算完整的符号攻击者在行动
3. Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings [J] . Zhang Z., Zhu L., Liao L., Information Sciences: An International Journal . 2012,第Null期

机译：使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
4. Computationally Complete Symbolic Attacker and Key Exchange [C] . Gergei Bana, Koji Hasebe, Mitsuhiro Okada ACM SIGSAC Conference on Computer and Communications Security . 2013

机译：计算地完成符号攻击者和关键交换
5. KLJN Statistical Physical Secure Key Exchange System: Attacks and Defense. [D] . Chen, Hsien Pu. 2016

机译：KLJN统计物理安全密钥交换系统：攻击和防御。
6. Password-Only Authenticated Three-Party Key Exchange Proven Secure against Insider Dictionary Attacks [O] . Junghyun Nam, Kim-Kwang Raymond Choo, Juryon Paik, -1

机译：经验证的仅密码验证的三方密钥交换可抵御内幕字典攻击
7. Towards unconditional soundness: Computationally complete symbolic attacker [O] . Gergei Bana, Hubert Comon-lundh 2012

机译：走向无条件的健全：计算完全的象征性攻击者

Computationally complete symbolic attacker and key exchange

著录项

引文网络

相似文献

相关主题

期刊订阅